home *** CD-ROM | disk | FTP | other *** search
Makefile | 1995-05-09 | 1.1 KB | 50 lines |
-
- # Documentation of the WAIS system
- # brewster 2/91
-
- RM = /bin/rm -f
- AR = ar
- ARFLAGS = r
-
- default: textfromman indexem
-
- text = waisindex.txt waisq.txt waissearch.txt \
- waisserver.txt xwais.txt xwaisq.txt
-
- waisindex.txt: manl/waisindex.l
- nroff -man manl/waisindex.l | sed -e 's/_//g' > waisindex.txt
-
- waisq.txt: manl/waisq.l
- nroff -man manl/waisq.l | sed -e 's/_//g' > waisq.txt
-
- waissearch.txt: manl/waissearch.l
- nroff -man manl/waissearch.l | sed -e 's/_//g' > waissearch.txt
-
- waisserver.txt: manl/waisserver.l
- nroff -man manl/waisserver.l | sed -e 's/_//g' > waisserver.txt
-
- xwais.txt: manl/xwais.l
- nroff -man manl/xwais.l | sed -e 's/_//g' > xwais.txt
-
- xwaisq.txt: manl/xwaisq.l
- nroff -man manl/xwaisq.l | sed -e 's/_//g' > xwaisq.txt
-
- textfromman: $(text)
-
-
- indexem: ../wais-sources/wais-docs.dct
-
- ../wais-sources/wais-docs.dct: $(text)
- ../bin/waisindex -d ../wais-sources/wais-docs -t text *.txt
-
- clean:
- $(RM) *~
- $(RM) manl/*~
- $(RM) \#*\#
- $(RM) waisindex.txt waisq.txt waisserver.txt waissearch.txt \
- xwais.txt xwaisq.txt
- $(RM) ../wais-sources/wais-docs.*
- $(RM) ../wais-sources/*~
- $(RM) ../wais-sources/*#
- $(RM) SearchLog
-